Aunque funciones elementales como $\sin x$ y $e^x$ satisfacen ecuaciones diferenciales básicas, muchos fenómenos físicos—como la distribución del calor o los estados cuánticos—están gobernados por ecuaciones que no tienen soluciones de "forma cerrada". Esta diapositiva introduce la serie de Taylor como el puente fundamental, permitiéndonos representar soluciones desconocidas como series infinitas de potencias.
Al suponer que una solución es analítica en un punto, transformamos el problema de resolver una ecuación diferencial en el problema de determinar una secuencia de coeficientes numéricos.
1. La Fundamentación de la Analiticidad
Una función $f$ que tiene una expansión en serie de Taylor alrededor de $x = x_0$ con un radio de convergencia $\rho > 0$ se dice que es analítica en $x = x_0$. Esta propiedad es el requisito previo para buscar soluciones en serie de ecuaciones diferenciales ordinarias. Si las funciones coeficientes de nuestra EDO son analíticas en $x_0$, entonces la solución $y(x)$ está garantizada para ser analítica allí también.
2. Representación mediante Series de Taylor
La serie $\displaystyle f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$ se llama serie de Taylor para la función $f$ alrededor de $x = x_0$. Aquí, los coeficientes están definidos por:
$$\displaystyle a_n = \frac{f^{(n)}(x_0)}{n!}$$
Esto vincula el comportamiento global de la función con sus derivadas locales en un solo punto.
3. Convergencia y Validez
Una solución en serie de potencias solo tiene sentido dentro de su radio de convergencia. Por ejemplo, aunque la función exponencial $\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ converge para todo $x$ ($\rho = \infty$), otras series derivadas de ecuaciones diferenciales pueden converger solo dentro de una distancia específica desde el punto de expansión $x_0$. Esta distancia generalmente viene determinada por los singularidades (donde los coeficientes de la ecuación fallan) de la ecuación.
Considere la ecuación diferencial $y' = y$ con la condición inicial $y(0)=1$. En lugar de adivinar la solución, asumimos una forma de serie de potencias:
$$y(x) = \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1x + a_2x^2 + \dots$$
Diferenciando obtenemos $y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$. Sustituyendo en $y'=y$:
$$\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^n$$
Alineando los índices, encontramos $(n+1)a_{n+1} = a_n$, lo que implica $\displaystyle a_n = \frac{a_0}{n!}$. Dado que $y(0)=1$, tenemos $a_0=1$. El resultado es la serie de Taylor para $e^x$.